|
|
基于一阶逻辑的个性化E - L e a r n i n g本体推理研究
冯 瑶,冯锡炜,黄越洋
辽宁石油化工大学学报
2016, 36 (1):
65-70.
DOI: 10.3696/j.issn.1672-6952.2016.01.014
针对 OWLD L推理和表达能力的局限性, 提出一种基于一阶逻辑F OL的推理方法, 并将该方法应用
到个性化E - L e a r n i n g领域。构建了E - L e a r n i n g领域本体库, 将 OWLD L本体映射为F OL本体, 并使用F OL制定
E - L e a n i n g资源的个性化匹配规则, 最后使用一阶定理证明器进行推理, 并比较了3种一阶定理证明器的推理结果。
实验结果表明, 通过F OL对 OWLD L本体进行推理是可行的, 能够使推理能力和表达能力达到完美平衡。
相关文章 |
多维度评价
|
|
